Gödel functional interpretation and weak compactness
نویسندگان
چکیده
منابع مشابه
Dependent Choices and Weak Compactness
We work in set-theory without the Axiom of Choice ZF. We prove that the principle of Dependent Choices (DC) implies that the closed unit ball of a uniformly convex Banach space is weakly compact, and in particular, that the closed unit ball of a Hilbert space is weakly compact. These statements are not provable in ZF, and the latter statement does not imply DC. Furthermore, DC does not imply th...
متن کاملSmoothness and Weak* Sequential Compactness
If a Banach space E has an equivalent smooth norm, then every bounded sequence in E* has a weak* converging subsequence. Generalizations of this result are obtained.
متن کاملA Weak Grothendieck Compactness Principle
The Grothendieck compactness principle states that every norm compact subset of a Banach space is contained in the closed convex hull of a norm null sequence. In this article, an analogue of the Grothendieck compactness principle is considered when the norm topology of a Banach space is replaced by its weak topology. It is shown that every weakly compact subset of a Banach space is contained in...
متن کاملOn Box, Weak Box and Strong Compactness
One of the most important goals of set theorists over the last few years has been to re-prove old results which previously had used very strong assumptions from hypotheses which, at least prima facie, are weaker. Examples of these abound, including, but certainly not limited to, the work of Woodin and Cummings (see [3]) on the Singular Cardinals Problem, in which results previously obtained by ...
متن کاملPolynomials, Symmetric Multilinear Forms and Weak Compactness
In this paper we obtain some versions of weak compactness James’ theorem, replacing bounded linear functionals by polynomials and symmetric multilinear forms. Mathematics Subject Classification (1991): 46B10, 46B50, 46G25
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2012
ISSN: 0168-0072
DOI: 10.1016/j.apal.2011.12.009